156 research outputs found
Reflection in conditional rewriting logic
AbstractWe recall general metalogical axioms for a reflective logic based on the notion of a universal theory, that is, a theory that can simulate the deductions of all other theories in a class of theories of interest, including itself. We then show that conditional rewriting logic is reflective, generalizing in two stages: first to the unsorted conditional case, and then to the many-sorted conditional case, the already known result for unconditional and unsorted rewriting logic (Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, 2000). This work should be seen as providing foundations for many useful applications of rewriting logic reflection. The results presented here have greatly influenced the design of the Maude language, which implements rewriting logic and supports its reflective capabilities, and have been used as a theoretical foundation for applications such as internal rewrite strategies, reflective design of theorem proving tools, module algebra and metaprogramming, and metareasoning in metalogical frameworks
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code generator is defined recursively over the structure of OCL expressions. We discuss the class of OCL expressions covered by our definition (which includes, possibly nested, iterator expressions) as well as some extensions needed to cover the full OCL language. We also discuss the efficiency of the MySQL code produced by our code generator, and compare it with previous known results on evaluating OCL expressions on medium-large scenarios. We have implemented our code generator in the MySQL4OCL tool
Two Decades of Maude
This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing the origins and the language's main features, we present the latest additions to the language and some features currently under development. This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech
Tracing Properties of UML and OCL Models with Maude
The starting point of this paper is a system described in form of a UML class
diagram where system states are characterized by OCL invariants and system
transitions are defined by OCL pre- and postconditions. The aim of our approach
is to assist the developer in learning about the consequences of the described
system states and transitions and about the formal implications of the
properties that are explicitly given. We propose to draw conclusions about the
stated constraints by translating the UML and OCL model into the algebraic
specification language and system Maude, which is based on rewrite logic. We
will concentrate in this paper on employing Maude's capabilities for state
search. Maude's state search offers the possibility to describe a start
configuration of the system and then explore all configurations reachable by
rewriting. The search can be adjusted by formulating requirements for the
allowed states and the allowed transitions.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
Operation Planning of the Elective Patients in an Orthopedic Surgery Department
This paper considers the operation scheduling and planning of elective patients in the Orthopedic Department of the “Lozano Blesa” Hospital in Zaragoza. We assume an ordered list of patients that should be planned for surgery. We propose a mixed linear integer programming problem to obtain a utilization rate of 80% per room. The results are tested on some real data from the hospital and some simulation results are provided
- …